Software system safety - PDFSEARCH.IO - Document Search Engine

Software system safety
Results: 864

#	Item
351	Practical, Pluggable Types for a Dynamic Language ? Niklaus Haldiman Marcus Denker Oscar Nierstrasz Software Composition Group IAM — Universit¨ at Bern, Switzerland Add to Reading List Source URL: scg.unibe.ch Language: English - Date: 2008-09-19 08:21:59 Programming language theory Type system Type inference Subtype polymorphism Type safety Smalltalk Top type Annotation C Software engineering Type theory Computing
352	Certified In-lined Reference Monitoring on .NET∗ Kevin W. Hamlen Cornell University Greg Morrisett Harvard University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2005-11-12 14:40:18 Type theory Data types Common Intermediate Language Type system Type safety C Sharp .NET Framework Objective-C Pointer Computing Software engineering Computer programming
353	Content In this product sheet: The Challenge The Solution Add to Reading List Source URL: download01.norman.no Language: English - Date: 2014-12-17 08:34:14 Windows XP Windows Server Windows NT Microsoft Servers Windows Norman Virtual machine Novell ZENworks Security and safety features new to Windows Vista System software Software Microsoft Windows
354	Microsoft Word - DOE-STD[removed]doc Add to Reading List Source URL: nnsa.energy.gov Language: English - Date: 2011-11-04 17:07:34 Prevention Hazard analysis Occupational safety and health Systems engineering Human factors Construction Software system safety Safety Safety engineering Risk
355	Security, Safety & Communication Empowering your Mission Critical Operations Date: [removed]Name: Tommy Eklund Add to Reading List Source URL: www.swii.org Language: English - Date: 2014-09-23 14:56:34 GIS software Intergraph Geographic information system Framework Programmes for Research and Technological Development Application software
356	TypePlug Pluggable Type Systems for Smalltalk Masterarbeit der Philosophisch-naturwissenschaftlichen Fakult¨at der Universit¨at Bern Add to Reading List Source URL: scg.unibe.ch Language: English - Date: 2007-04-25 11:11:54 Computing Type system Type inference Smalltalk Type safety Dynamic dispatch Typing environment Reflection ML Software engineering Type theory Programming language theory
357	Survivable Software for Safety-Critical CyberPhysical Systems Karen Mercedes Goertzel, CISSP Lead Associate[removed] Add to Reading List Source URL: www.owasp.org Language: English - Date: 2012-04-18 21:57:15 SCADA Telemetry Security Cyber-physical system Computer security Computing Technology Cyberwarfare Industrial automation
358	EMEIA General Insurance Senior executive update May 2013 Focus on policy systems A tool for success Add to Reading List Source URL: www.ey.com Language: English - Date: 2015-02-26 04:53:59 Risk management information systems System Systems science Knowledge Safety Management Systems Information systems Science Project management software
359	Gradual Typing for First-Class Classes ∗ Asumu Takikawa T. Stephen Strickland Christos Dimoulas Sam Tobin-Hochstadt Matthias Felleisen Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-01-16 15:37:27 Programming language theory Data types Object-oriented programming Formal methods Polymorphism Mixin Type safety Subtype polymorphism Type system Software engineering Computing Type theory
360	Monotonic References for Efficient Gradual Typing Jeremy G. Siek1 , Michael M. Vitousek1 , Matteo Cimini1 , Sam Tobin-Hochstadt1 , and Ronald Garcia2 1 Add to Reading List Source URL: wphomes.soic.indiana.edu Language: English - Date: 2014-10-18 14:51:20 Type theory Data types Lambda calculus Procedural programming languages C++ Type safety Type system ALGOL 68 Combinatory logic Software engineering Computing Programming language theory

UPDATE